89 research outputs found
On the behavior of test ideals under finite morphisms
We derive transformation rules for test ideals and -singularities under an
arbitrary finite surjective morphism of normal varieties in
prime characteristic . The main technique is to relate homomorphisms
, such as Frobenius splittings, to homomorphisms . In the simplest cases, these rules mirror transformation
rules for multiplier ideals in characteristic zero. As a corollary, we deduce
sufficient conditions which imply that trace is surjective, i.e.
.Comment: 33 pages. The appendix has been removed (it will appear in a
different work). Minor changes and typos corrected throughout. To appear in
the Journal of Algebraic Geometr
An algorithm for computing compatibly Frobenius split subvarieties
Let be a ring of prime characteristic , and let denote
viewed as an -module via the th iterated Frobenius map. Given a
surjective map (for example a Frobenius splitting), we
exhibit an algorithm which produces all the -compatible ideals.
We also explore a variant of this algorithm under the hypothesis that
is not necessarily a Frobenius splitting (or even surjective). This algorithm,
and the original, have been implemented in Macaulay2.Comment: 15 pages, many statements clarified and numerous other substantial
improvements to the exposition (thanks to the referees). To appear in the
Journal of Symbolic Computatio
- β¦